Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
311	Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2005-07-26 16:47:43 Theoretical computer science Formal methods Semantics Abstract interpretation Formal languages Model theory Prolog Semantics of programming languages Programming language Software engineering Computing Logic in computer science
312	A Modular Static Analysis Approach to Affine Loop Invariants Detection Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-12-16 09:00:31 Division FO Mathematics Expected value Applied mathematics Program logic Predicate transformer semantics Theoretical computer science Binary arithmetic Computer arithmetic
313	A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julien Brunel Damien Doligez Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:26:12 Mathematics Static single assignment form Golden ratio Applied mathematics Philosophy of mathematics Linear temporal logic Temporal logic Logic in computer science Computation tree logic
314	Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2005-07-26 16:47:43 Theoretical computer science Formal methods Semantics Abstract interpretation Formal languages Model theory Prolog Semantics of programming languages Programming language Software engineering Computing Logic in computer science
315	Walton Family Foundation Grant Application Name of Organization: Name of Project/Proposal: Add to Reading List Source URL: dbd7853403f6a0e4167e-9fe3b5899f298e1c7d591332d27bb114.r52.cf1.rackcdn.com Language: English - Date: 2014-05-30 16:53:24 Project management Logic model Grant Science Service System Management Grants Business Program management
316	Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1 Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2015-01-30 08:47:53 Static program analysis Termination analysis Automated theorem proving Programming paradigms Constraint programming Logic in computer science Prolog Unification Computer program Software engineering Computing Theoretical computer science
317	Microsoft PowerPoint - Control_Program_Analysis Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2009-03-17 09:38:59 Hoare logic State space Systems science Control theory Systems theory Science
318	ALICe: A Benchmark to Improve Affine Loop Invariant Computation Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 04:42:34 Loop invariant Convex function Finitary relation Program logic Abstraction Predicate transformer semantics Function Mathematics Mathematical analysis Control flow
319	[scale=0.2]mines-paris-tech-4107050fwhym1713 .4cm A Constraint-Solving Approach to Faust Program Type Checking .2cm Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-19 09:47:40 Computing Constraint satisfaction problem Mathematical optimization Constraint satisfaction Constraint logic programming Constraint programming Software engineering Computer programming
320	ALICe: A Framework to Improve Affine Loop Invariant Computation Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-08-26 09:22:06 Loop invariant Convex function Finitary relation Program logic Predicate transformer semantics Function Mathematics Mathematical analysis Control flow

UPDATE